1. A science of operations
Author: / by Peter Mark Priestley
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA76
.
6
.
P75
2010
2. A science of operations
Author: Mark Priestley.,Priestley, Mark
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
Classification :
QA76
.
6
.
P73
2011
3. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
4. Advances in Computational Intelligence :
Author: edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
5. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
329
6. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
7. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
8. Computational aspects of an order-sorted logic with term declarations
Author: Schmidt-Schauss, Manfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Sorting )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
395
9. Computational aspects of an order-sorted logic with term declarations
Author: Schmidt-Schauss, Manfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Sorting )Electronic computers(
Classification :
QA
9
.
S343
1989
10. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
11. Entity-Relationship Approach - ER '93 :
Author: edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
12. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
13. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
14. Inductive Logic Programming :
Author: edited by Paolo Frasconi, Francesca A. Lisi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
Classification :
QA76
.
63
E358
2011
15. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
16. Logic and computer science
Author: / S. Homer... [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
Classification :
QA
9
.
A1L6
1990
17. Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings
Author: A.R. Meyer, M.A. Taitslin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
363
18. Logic of Domains
Author: Zhang, Guo-Qiang, 0691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
19. Logic of domains
Author: Zhang, Guo-Qiang
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
20. Logical foundations of computer science--Tver '92
Author: A. Nerode, M. Taitslin )eds.(.
Library: Vali Asr University Central Library (Kerman)
Subject: Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
L6
1992
